81. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
82. Algebraic foundations in computer science :
المؤلف: edited by Werner Kuich, George Rahonis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
83. Algebraic informatics :
المؤلف: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
84. Algol-like Languages
المؤلف: edited by Peter W. O'Hearn, Robert D. Tennent.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.
85. All About Maude--A High-performance Logical Framewor
المؤلف: / Manuel Clavel ... [et al.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Rewriting systems (Computer science),Human information processing.
رده :
QA
,
76
.
9
,.
L63
,
C6555
,
2007
86. <An> Introduction to Default Logic
المؤلف: Philippe Besnard
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
87. An inductive logic programming approach to statistical relational learning
المؤلف: / Kristian Kersting
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic programming,Uncertainty (Information theory),Machine learning,Markov processes
رده :
QA76
.
63
.
K47
2006
88. An intensional implementation technique for functional languages
المؤلف: Yaghi, Ali A. G.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: QA76 Electronic computers. Computer science. Computer software
89. An introduction to default logic
المؤلف: Besnard, Philippe
المکتبة: (طهران)
موضوع: ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
90. An introduction to logic programming through Prolog /
المؤلف: Michael Spivey
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
91. An introduction to machine learning /
المؤلف: Miroslav Kubat.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
رده :
QA76
.
9
.
D343
K83
2017
92. An introduction to programming using Alice 2.2 /
المؤلف: by Charles W. Herbert.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.,Alice (Computer program language),Object-oriented programming (Computer science),Three-dimensional display systems.,Virtual reality.
رده :
QA76
.
64
.
H498
2011
93. An introduction to the PL/CV2 programming logic
المؤلف: Constable, R L
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، PL/CV2 )Computer program language(
رده :
QA
76
.
5
.
C6615
94. An introduction to the PL/CV2 programming logic
المؤلف: Constable, Robert L.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
95. An introduction to the PL/CV2 programming logic
المؤلف: Constable, Robert L.
المکتبة: (طهران)
موضوع: ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
96. An object-oriented approach to programming logic and design
المؤلف: Farrell, Joyce
المکتبة: (سمنان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
97. Analytical and stochastic modeling techniques and application
المؤلف: / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
98. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
المؤلف: / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
99. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
المؤلف: / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
100. Answer set programming
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic programming. ;
